snippet Agda Gitignore Template
        ### Agda ###
        *.agdai
        ${0}
